Integer polyhedra for program analysis

Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from imprecision when it is necessary to take into account the integrality of the represented space. Imprecision also arises when non-linear constraints occur. Moreover, in terms of tractability, even a space defined by linear constraints can become unmanageable owing to the excessive number of inequalities. Thus it is useful to identify those inequalities whose omission has least impact on the represented space. This paper shows how these issues can be addressed in a novel way by growing the integer hull of the space and approximating the number of integral points within a bounded polyhedron

Dealing with a traumatic past: the victim hearings of the South African truth and reconciliation commission and their reconciliation discourse

In the final years of the twentieth and the beginning of the twenty-first century, there has been a worldwide tendency to approach conflict resolution from a restorative rather than from a retributive perspective. The South African Truth and Reconciliation Commission (TRC), with its principle of 'amnesty for truth' was a turning point. Based on my discursive research of the TRC victim hearings, I would argue that it was on a discursive level in particular that the Truth Commission has exerted/is still exerting a long-lasting impact on South African society. In this article, three of these features will be highlighted and illustrated: firstly, the TRC provided a discursive forum for thousands of ordinary citizens. Secondly, by means of testimonies from apartheid victims and perpetrators, the TRC composed an officially recognised archive of the apartheid past. Thirdly, the reconciliation discourse created at the TRC victim hearings formed a template for talking about a traumatic past, and it opened up the debate on reconciliation. By discussing these three features and their social impact, it will become clear that the way in which the apartheid past was remembered at the victim hearings seemed to have been determined, not so much by political concerns, but mainly by social needs

First analysis of the updated ITPA global H-mode confinement database

C

Latest developments in data analysis tools for disruption prediction and for the exploration of multimachine operational spaces.

In the last years significant efforts have been devoted to the development of advanced data analysis tools to both predict the occurrence of disruptions and to investigate the operational spaces of devices, with the long term goal of advancing the understanding of the physics of these events and to prepare for ITER. On JET the latest generation of the disruption predictor called APODIS has been deployed in the real time network during the last campaigns with the new metallic wall. Even if it was trained only with discharges with the carbon wall, it has reached very good performance, with both missed alarms and false alarms in the order of a few percent (and strategies to improve the performance have already been identified). Since for the optimisation of the mitigation measures, predicting also the type of disruption is considered to be also very important, a new clustering method, based on the geodesic distance on a probabilistic manifold, has been developed. This technique allows automatic classification of an incoming disruption with a success rate of better than 85%. Various other manifold learning tools, particularly Principal Component Analysis and Self Organised Maps, are also producing very interesting results in the comparative analysis of JET and ASDEX Upgrade (AUG) operational spaces, on the route to developing predictors capable of extrapolating from one device to another